Nuprl Definition : shift-state
11,40
postcript
pdf
shift-state(
s
)(
x
,
t
) ==
s
(
x
,
t
+ 1)
latex
Definitions
x
.
A
(
x
)
,
f
(
a
)
,
r
+
s
,
#$n
FDL editor aliases
shift-state
origin
x.A(x)x.A(x)